Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
131	ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-08 17:06:02 Data types Type theory Java Concurrent programming languages Object-oriented programming languages Immutable object Const Final Subtyping Scala Type qualifier Takes
132	Implicit Arguments: Event Modification or Option Type Categories? Chris Blom1 , Philippe de Groote2 , Yoad Winter3 , and Joost Zwarts3 1 CAI Master Program, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2012-05-31 16:32:55 Syntax Linguistics Grammar Semantics Parts of speech Type theory Valency Argument Intransitive verb Categorial grammar Raising Object
133	Dynamically Composing Languages in a Modular Way: Supporting C Extensions for Dynamic Languages Matthias Grimmer Chris Seaton Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Object-oriented programming languages Scripting languages Ruby Object-oriented programming Objective-C Scala Dynamic dispatch Lua Class Type system Futures and promises Smalltalk
134	Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-07 13:53:07 Software engineering Type theory Programming language theory Computing Subtyping Type system System F HindleyMilner type system ML Type inference Typeof Is-a
135	Diamond SciSoft Python Guide Release 1.0 Diamond Light Source, Scientific Software Team January 21, 2016 Add to Reading List Source URL: www.opengda.org Language: English - Date: 2016-02-23 11:04:51 Object-oriented programming languages Scripting languages Array programming languages Mathematical software Cross-platform software NumPy Matplotlib Jython SciPy SageMath Hierarchical Data Format Array data type
136	JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:11:38 Computing Software engineering Type theory Data types Java Object-oriented programming Swing Type system Polymorphism
137	A Type System for Object Initialization In the Java Bytecode Language∗ TM Stephen N. Freund John C. Mitchell Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:19
138	JavaScript on Java EE Markus Eisele, @myfear Developer Advocate September, 2014 Add to Reading List Source URL: 2014.jokerconf.com Language: English - Date: 2015-02-28 17:19:49 Computing Software engineering Computer programming Cross-platform software Concurrent programming languages Type theory Object-oriented programming languages Type systems Strong and weak typing JavaScript Java Go
139	Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2012-10-01 23:54:08
140	Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing Stephanie Balzer Thomas R. Gross Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2012-10-01 23:53:23

UPDATE